HOL Lightのインストール
GitHub:
hol-light/README at master · jrh13/hol-light